Search Results for 'subset coercions in coq matthieu'

subset coercions in coq matthieu published presentations and documents on DocSlides.

Subset coercions in Coq Matthieu Sozeau LRI Paris Sud

by lindy-dunigan

fr Abstract We propose a new language for writing ...